وفات حرفوشى در سال 1059 بوده و پسرى دانشمند به نام شيخ ابراهيم داشته كه در 1080 درگذشته است . و از فهرست كتابخانه مجلس ( 1 ) معلوم مىشود اجازاتى به خط وى موجود است . 20 - شيخ يوسف فرزند شيخ محمد بنا جزائرى ( 000 - قبل 1070 ) استاد سيد نعمت اللّه در جزائر و قاضى آنجا بوده و تأليفاتى داشته . ولى در كتب تراجم شرح حال مفصلى از او نيست ، همين قدر در اجازه كبيره مسطور است « الشيخ العالم الفاضل الفقيه الاُصولي المنطقي صاحب المصنفات في اُصول الفقه قاضي المسلمين يوسف بن محمد البنا الجزائري » . و اين توصيف از حاشيه جدّ اعلى بر امل الآمل مقتبس شده كه چنين است « يوسف بن محمد الشهير بالبنا الجزائري عالم فاضل فقيه اُصولي منطقي له تصانيف في علم اُصول الفقه قرأ العلم في شيراز ورجع إلى موطنه الجزائر وولي القضاء بها وقرأت عليه في العلوم العربية ودرج إلى رحمة اللّه عشر السبعين بعد الألف » .

--> ( 1 ) فهرست كتابخانه مجلس 14 : 10 .